Quantifier Elimination by Dependency Sequents

机译：依赖序列消除量词

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Eugene Goldberg; Panagiotis Manolios;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Quantifier elimination by dependency sequents [J] . Eugene Goldberg, Panagiotis Manolios Formal Methods in System Design . 2014,第2期

机译：通过依存关系消除量词
2. Strong cut-elimination in sequent calculus using Klop's l-translation and perpetual reductions [J] . Sorensen MH, Urzyczyn P Journal of Symbolic Logic . 2008,第3期

机译：使用克洛普（Klop）的l平移和永续归约法在后续演算中进行强切除
3. LLambda terms for natural deduction, sequent calculus and cut elimination [J] . HENK BARENDREGTD, SILVIA GHILEZAN Journal of Functional Programming . 2000,第期

机译：Lambda术语用于自然演绎，后续演算和削减消除
4. Quantifier elimination by Dependency Sequents [C] . Goldberg Eugene, Manolios Panagiotis 2012 Formal Methods in Computer-Aided Design. . 2012

机译：依存顺序消除量词
5. Ontogeny of mechanisms in drug disposition: Age-dependency of P-glycoprotein expression and renal elimination exemplified by the sotalol pharmacokinetics. [D] . Zhang, Wenhui. 2004

机译：药物处置机制的本体论：P-糖蛋白表达和肾脏消除的年龄依赖性，以索他洛尔的药代动力学为例。
6. Age-dependency of galactose elimination capacity in healthy children and children with chronic liver disease [O] . Aksel Lange, Henning Grønbæk, Hendrik Vilstrup, -1

机译：治疗健康儿童和慢性肝病儿童的半乳糖消除能力的年龄依赖性
7. Quantifier Elimination by Dependency Sequents [O] . Goldberg, Eugene, Manolios, Panagiotis 2013

机译：依赖序列消除量词
8. Flight Test Techniques for Quantifying Pitch Rate and Angle of Attack Rate Dependencies. [R] . Grauer, J. A., Morelli, E. A., Murri, D. G. 2017

机译：用于量化俯仰率和攻击率依赖性的飞行测试技术。

Quantifier Elimination by Dependency Sequents

著录项

引文网络

相似文献

相关主题

期刊订阅